List Of Titles

/

Change Site
GlobalView
Default Site
Research Data
Theses

Advanced Search
Expert Search

Sign In

Browse
Quick Collection

Sign In

Help
Search History
Clear Session

Showing items 1 - 2 of 2

Your selections:

formal specification

Full Text

1No 1Yes

1Z notation 1feature dependency 1feature modelling 1formal verification 1model-driven architecture 1model-driven development 1product line evolution 1temporal logic

1Henskens, Frans 1Jnanamurthy, H. K. 1Paul, David 1Wallis, Mark 1Ye, Huilin 1Zhang, Wendy

1conference paper 1journal article

Date

12008 12021

1Adobe Acrobat PDF

Facets

Full Text

1No 1Yes

1Z notation 1feature dependency 1feature modelling 1formal verification 1model-driven architecture 1model-driven development 1product line evolution 1temporal logic

1Henskens, Frans 1Jnanamurthy, H. K. 1Paul, David 1Wallis, Mark 1Ye, Huilin 1Zhang, Wendy

1conference paper 1journal article

Date

12008 12021

1Adobe Acrobat PDF

Title
Creator
Date

Formal specification at model-level of model-driven engineering using modelling techniques

- Jnanamurthy, H. K., Henskens, Frans, Paul, David, Wallis, Mark

Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David , Wallis, Mark
Resource Type: journal article
Date: 2021

Quick View

Formal definition of feature models to support software product line evolutions

- Ye, Huilin, Zhang, Wendy

Creator: Ye, Huilin , Zhang, Wendy
Resource Type: conference paper
Date: 2008

Formal definition of feature models to support software product line evolutions

Creator: Ye, Huilin , Zhang, Wendy
Resource Type: conference paper
Date: 2008

1

English (Australia)
English (Australia)
Disclaimer
Privacy
Copyright
Contact
Deposit

About Vital

‹ › ×

Clear Session

Are you sure you would like to clear your session, including search history and login status?